Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Object Incompleteness and Dynamic Composition in Java-Like Languages
2008-01-01 Lorenzo Bettini; Viviana Bono; Betti Venneri
On evaluating graph partitioning algorithms for distributed agent based models on networks
2015-01-01 Antelmi A.; Cordasco G.; Spagnuolo C.; Vicidomini L.
On Global Types and Multi-Party Sessions
2011-01-01 Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca
On Isomorphisms of Intersection Types
2008-01-01 Mariangiola Dezani; Roberto Di Cosmo; Elio Giovannetti; Makoto Tatsuta
On Parallelizing On-Line Statistics for Stochastic Biological Simulations
2012-01-01 Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
2008-01-01 Marco Comini; Ferruccio Damiani; Samuel Vrech
On Progress for Structured Communications
2008-01-01 Mariangiola Dezani; Ugo de' Liguoro; Nobuko Yoshida
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions
2003-01-01 Padovani, Luca
On the use of stochastic Petri nets in the analysis of Signal Transduction Pathways for Angiogenesis process
2009-01-01 L. Napione; D. Manini; F. Cordero; A. Horvath; A. Picco; M. De Pierro; S. Pavan; M. Sereno; A. Veglio; F. Bussolino; G. Balbo
Ontology–Based Visualization of Characters’ Intentions
2014-01-01 V. Lombardo; A. Pizzo
Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed
2017-01-01 Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko
Origami and the Emergence of Hybrid Diagrams
2022-01-01 Francesca Ferrara; Giulia Ferrari
The Pairing of Contracts and Session Types
2008-01-01 Laneve, C.; Padovani, Luca
Parameter-Free Hierarchical Co-clustering by n-Ary Splits
2009-01-01 D. Ienco; R. G. Pensa; R. Meo
The ParaPhrase Project: Parallel patterns for adaptive heterogeneous multicore systems
2013-01-01 Hammond, Kevin; Aldinucci, Marco; Brown, Christopher; Cesarini, Francesco; Danelutto, Marco; González-Vélez, Horacio; Kilpatrick, Peter; Keller, Rainer; Rossbory, Michael; Shainer, Gilad
Partitioned Least Squares
2019-01-01 Roberto Esposito, Mattia Cerrato, Marco Locatelli
Performability Measure Specification: Combining CSRL and MSL
2011-01-01 A. ALDINI; M. BERNARDO; J. SPROSTON
Performance Analysis of Data Services over GPRS
2001-01-01 M. AJMONE MARSAN; M. GRIBAUDO; M. MEO; M. SERENO
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
2007-01-01 Bernardo, M.; Padovani, Luca
Personal and shared perspectives on knowledge maps in learning environments
2017-01-01 Annamaria, Goy; Giovanna, Petrone; Claudia, Picardi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Object Incompleteness and Dynamic Composition in Java-Like Languages | 2008 | Lorenzo Bettini; Viviana Bono; Betti Venneri | |
| On evaluating graph partitioning algorithms for distributed agent based models on networks | 2015 | Antelmi A.; Cordasco G.; Spagnuolo C.; Vicidomini L. | |
| On Global Types and Multi-Party Sessions | 2011 | Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca | |
| On Isomorphisms of Intersection Types | 2008 | Mariangiola Dezani; Roberto Di Cosmo; Elio Giovannetti; Makoto Tatsuta | |
| On Parallelizing On-Line Statistics for Stochastic Biological Simulations | 2012 | Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina | |
| On Polymorphic Recursion, Type Systems, and Abstract Interpretation | 2008 | Marco Comini; Ferruccio Damiani; Samuel Vrech | |
| On Progress for Structured Communications | 2008 | Mariangiola Dezani; Ugo de' Liguoro; Nobuko Yoshida | |
| On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions | 2003 | Padovani, Luca | |
| On the use of stochastic Petri nets in the analysis of Signal Transduction Pathways for Angiogenesis process | 2009 | L. Napione; D. Manini; F. Cordero; A. Horvath; A. Picco; M. De Pierro; S. Pavan; M. Sereno; A. Veglio; F. Bussolino; G. Balbo | |
| Ontology–Based Visualization of Characters’ Intentions | 2014 | V. Lombardo; A. Pizzo | |
| Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed | 2017 | Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko | |
| Origami and the Emergence of Hybrid Diagrams | 2022 | Francesca Ferrara; Giulia Ferrari | |
| The Pairing of Contracts and Session Types | 2008 | Laneve, C.; Padovani, Luca | |
| Parameter-Free Hierarchical Co-clustering by n-Ary Splits | 2009 | D. Ienco; R. G. Pensa; R. Meo | |
| The ParaPhrase Project: Parallel patterns for adaptive heterogeneous multicore systems | 2013 | Hammond, Kevin; Aldinucci, Marco; Brown, Christopher; Cesarini, Francesco; Danelutto, Marco; González-Vélez, Horacio; Kilpatrick, Peter; Keller, Rainer; Rossbory, Michael; Shainer, Gilad | |
| Partitioned Least Squares | 2019 | Roberto Esposito, Mattia Cerrato, Marco Locatelli | |
| Performability Measure Specification: Combining CSRL and MSL | 2011 | A. ALDINI; M. BERNARDO; J. SPROSTON | |
| Performance Analysis of Data Services over GPRS | 2001 | M. AJMONE MARSAN; M. GRIBAUDO; M. MEO; M. SERENO | |
| Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders | 2007 | Bernardo, M.; Padovani, Luca | |
| Personal and shared perspectives on knowledge maps in learning environments | 2017 | Annamaria, Goy; Giovanna, Petrone; Claudia, Picardi |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile